Partially interpreted schemas for CSP programming

Learning Partially Observable Action Schemas

We present an algorithm that derives actions’ effects and preconditions in partially observable, relational domains. Our algorithm has two unique features: an expressive relational language, and an exact tractable computation. An actionschema language that we present permits learning of preconditions and effects that include implicit objects and unstated relationships between objects. For examp...

Phantom: An Interpreted Language for Distributed Programming

Schemas and Genetic Programming

With the help of schemas and genetic programming we describe systems which • interact with the real world • make theories about the consequences of their actions and • dynamically adjust inductive bias. We present experimental data related to learning geometric concepts and moving a block in a microworld.

Safe Parallel Programming in an Interpreted Language

Parallel programming is increasingly important with the advent of multicore processors. However, modern software is difficult to parallelize because of the high degree of modularization. It is unclear whether a piece of code is parallel if it calls other functions. Dynamic languages such as Ruby, Python, and Matlab represent modularization to the extreme. A program, also known as a script, requ...

PLC Programming with Signal Interpreted Petri Nets

In this paper a graphical editor to design Programmable Logic Controller (PLC) programs using Signal Interpreted Petri Nets (SIPN) is presented. SIPN are an extension of condition event Petri nets that allow the handling of input and output signals. The presented tool, SIPN Editor, has been developed using DiaGen which is an environment for rapidly developing diagram editors from a formal speci...